A Proposal of Hybrid Knowledge Engineering and Refinement Approach
نویسندگان
چکیده
The paper deals with some possible applications of Knowledge Engineering methods to the practical Software Engineering. Such an integration could provide a way to overcome some constant problems present in the contemporary Software Engineering. This paper describes foundations of the HEKATE Project, which aims at incorporating well established Knowledge Engineering tools and paradigms into the Software Engineering domain. A new Hybrid Knowledge Engineering (HEKATE) methodology is proposed, which would allow for faster development of highly reliable software. The HEKATE design process is introduced which offers important capabilities of formal verification, and gradual refinement of software from the conceptual model stage to an executable prototype. An integrated design environment and runtime based on the ARD/XTT concept is also proposed. Furthermore, HEKATE-based applications can be integrated with existing software, designed in a classical way.
منابع مشابه
An Approach to Management of Health Care and Medical Diagnosis Using of a Hybrid Disease Diagnosis System
Introduction: In order to simplify the information exchange within the medical diagnosis process, a collaborative software agent’s framework is presented. The purpose of the framework is to allow the automated information exchange between different medicine specialists. Methods: This study presented architecture of a hybrid disease diagnosis system. The architecture employed a learning...
متن کاملPresenting a Hybrid Approach based on Two-stage Data Envelopment Analysis to Evaluating Organization Productivity
Measuring the performance of a production system has been an important task in management for purposes of control, planning, etc. Lord Kelvin said :“When you can measure what you are speaking about, and express it in numbers, you know something about it; but when you cannot measure it, when you cannot express it in numbers, your knowledge is of a meager and unsatisfactory kind.” Hence, manag...
متن کاملAutomatic Hashtag Recommendation in Social Networking and Microblogging Platforms Using a Knowledge-Intensive Content-based Approach
In social networking/microblogging environments, #tag is often used for categorizing messages and marking their key points. Also, since some social networks such as twitter apply restrictions on the number of characters in messages, #tags can serve as a useful tool for helping users express their messages. In this paper, a new knowledge-intensive content-based #tag recommendation system is intr...
متن کاملA New Hybrid Meta-Heuristics Approach to Solve the Parallel Machine Scheduling Problem Considering Human Resiliency Engineering
This paper proposes a mixed integer programming model to solve a non-identical parallel machine (NIPM) scheduling with sequence-dependent set-up times and human resiliency engineering. The presented mathematical model is formulated to consider human factors including Learning, Teamwork and Awareness. Moreover, processing time of jobs are assumed to be non-deterministic and dependent to their st...
متن کاملA Hybrid Fuzzy MCDM Approach to Determine an Optimal Block Size in Open-Pit Mine Modeling: a Case Study
The computer-based 3D modeling of ore bodies is one of the most important steps in the resource estimation, grade determination, and production scheduling of open-pit mines. In the modeling phase, the volume of the orebody model is required to be filled by the blocks and sub-blocks. The determination of Block Size (BS) is important due to the dependence of the geostatistical issues and calculat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007